{ x = True } ∧ {=}
